Total Books: 1 - 5 /5
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Weiterlesen
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Weiterlesen
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Weiterlesen
Static Analysis
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
Weiterlesen
Static Analysis (vol. # 3672)
"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...
Weiterlesen
Total Books: 1 - 5 /5
